﻿using System.Collections;
using System.Collections.Generic;

namespace TSU.FAMC.ComputerEngineering.Classes.Diagnostics.PathDelayFaults
{
    public class FlipFlopStats
    {
        /// <summary>
        /// Order of input marks in a circuit.
        /// </summary>
        public List<string> InputMarks { get; set; }

        /// <summary>
        /// Order of output marks in a circuit.
        /// </summary>
        public List<string> OutputMarks { get; set; }

        /// <summary>
        /// Input pin mark.
        /// </summary>
        public string InputMark { get; set; }

        /// <summary>
        /// Ouput pin mark.
        /// </summary>
        public string OutputMark { get; set; }

        /// <summary>
        /// Probability of robust pdf manifestation for random input vector pair.
        /// </summary>
        public double RobustObservability { get; set; }

        /// <summary>
        /// Probability of robust pdf manifestation for Lunch-on-Shif technique (right 1-shift).
        /// </summary>
        public double RobustLosObservability { get; set; }

        /// <summary>
        /// Conditions of robust PDF manifestation for current state variable splitted by concurent paths and by originating conjunctions. As (Cube, OrderedBDD) pairs.
        /// </summary>
        public List<Hashtable> RobustSensitezationConditions { get; set; }
    }
}
